Merge branch 'wip/otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 3 Jun 2020 17:40:26 +0000 (17:40 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 3 Jun 2020 17:40:26 +0000 (17:40 +0000)
Wip/otte/for master

See merge request GNOME/gtk!2024


Trivial merge